Knowledge Visualization Using Optimized General Logic Diagrams
نویسندگان
چکیده
Knowledge Visualizer (KV) uses a General Logic Diagram (GLD) to display examples and/or various forms of knowledge learned from them in a planar model of a multi-dimensional discrete space. Knowledge can be in different forms, for example, decision rules, decision trees, logical expressions, clusters, classifiers, and neural nets with discrete input variables. KV is implemented as a module of the inductive database system VINLEN, which integrates a conventional database system with a range of inductive inference and data mining capabilities. This paper describes briefly the KV module and then focuses on the problem of arranging attributes that span the diagram in a way that leads to the most readable rule visualization in the diagram. This problem has been solved by applying a simulated annealing.
منابع مشابه
A Visualization Method for Knowledge Represented by General Logic Programs
In this paper; we describe a visualization methodfor general logic clauses as the first step of a visualization of logic programs. Since we think inclusion is essential to represent an outline of knowledge, we propose a method based on Euler diagrams to visualize in$rence rules represented as a set of general logic clauses which consist of literals with no variable. We develop a prototype syste...
متن کاملRelating Diagrams to Logic
Although logic is general enough to describe anything that can be implemented on a digital computer, the unreadability of predicate calculus makes it unpopular as a design language. Instead, many graphic notations have been developed, each for a narrow range of purposes. Conceptual graphs are a graphic system of logic that is as general as predicate calculus, but they are as readable as the spe...
متن کاملFlowcharting the Meaning of Logic Formulas
In logic, representation of a domain (e.g., physical reality) comprises the things its expressions (formulas) refer to and their relationships. Recent research has examined the realm of nonsymbolic representations, especially diagrams. It is claimed that, in general, diagrams have advantages over linguistic descriptions. Current diagrammatic representations of logic formulas do not completely d...
متن کاملVisualization of Description Logic Models
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represented (e.g., RDF, OWL, DL). Model outlines depart from this tradition in that they consist of diagrams characterizing the class of models of a given concept expression. We hope this semantically-oriented visualization ...
متن کاملTerminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered binary decision diagrams (OBDDs) as a datastructure for storing and operating on large model representations. We thus draw on the success and the proven scalability of OBDD-based systems. To the best of our knowledge, we...
متن کامل